Supporting Function Calls within PELCR
نویسندگان
چکیده
منابع مشابه
Supporting Function Calls within PELCR
In [10,11], PELCR has been introduced as an implementation derived from the Geometry of Interaction in order to perform virtual reduction on parallel/distributed computing systems. In this paper we provide an extension of PELCR with computational effects based on directed virtual reduction [2], namely a restriction of virtual reduction [3], which is a particular way to compute the Geometry of I...
متن کاملUnrestricted Transactional Memory: Supporting I/O and System Calls Within Transactions
Hardware transactional memory has great potential to simplify the creation of correct and efficient multithreaded programs, enabling programmers to exploit the soon-to-be-ubiquitous multi-core designs. Transactions are simply segments of code that are guaranteed to execute without interference from other concurrently-executing threads. The hardware executes transactions in parallel, ensuring no...
متن کاملEliminating Redundant Function Calls
Multiple calls to the same function using the same argument values are often redundant, and the result of the earlier call can be reused. This is similar to the reuse of redundant arithmetic expressions in redundancy elimination. However, only calls that will return the same results and not produce side effects can be reused. In this paper we present a static analysis that determines whether ca...
متن کاملScheduling vs Communication in PELCR
PELCR is an environment for λ-terms reduction on parallel/distributed computing systems. The computation performed in this environment is a distributed graph rewriting and a major optimization to achieve efficient execution consists of a message aggregation technique exhibiting the potential for strong reduction of the communication overhead. In this paper we discuss the interaction between the...
متن کاملSupporting Deliberation Within
ions” maintained by the system, and are often compared to cognitive processes – that 1 This is sometimes referred to as cognitive. 4 is, they are sometimes characterized as rational “thinking”. Reactive mechanisms are computations that produce a rapid response in the agent’s environment to a stimulus from that environment, and are thought to not involve “thinking”. Research efforts into these t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.09.025